3

From Curry to Haskell

Year:
2020
File:
PDF, 595 KB
2020
4

Continuity in Semantic Theories of Programming

Year:
2015
Language:
english
File:
PDF, 196 KB
english, 2015
9

Type inference with recursive types: Syntax and semantics

Year:
1991
Language:
english
File:
PDF, 1.71 MB
english, 1991
12

Tiered Objects

Year:
2016
Language:
english
File:
PDF, 370 KB
english, 2016
14

A coinductive completeness proof for the equivalence of recursive types

Year:
2002
Language:
english
File:
PDF, 121 KB
english, 2002
15

Recursive types for Fun

Year:
1991
Language:
english
File:
PDF, 1.90 MB
english, 1991
17

Combining type disciplines

Year:
1994
Language:
english
File:
PDF, 2.22 MB
english, 1994